Feeds to Scour
SubscribedAll
Scoured 2680 posts in 52.4 ms
LLMs could be, but shouldn't be compilers
alperenkeles.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Verification
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·48m·
Discuss: Hacker News
✅Formal Verification
Portable C Compiler
en.wikipedia.org·13h·
Discuss: Hacker News
🔌Network Programming
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·5h·
Discuss: Hacker News
🔌Network Programming
Unlocking core memories with GoldSrc engine and CS 1.6 (2025)
danielbrendel.com·54m·
Discuss: Hacker News
📦WebAssembly
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
✅Formal Verification
Week 1: Why did I start learning Rust?
vitaliihonchar.com·22h·
Discuss: r/programming
🦀Rust
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·21h·
Discuss: Hacker News
🚢DevOps
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com·1d·
Discuss: Hacker News, Hacker News
🦀Rust
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·21h·
Discuss: Hacker News, r/Compilers
🧠Computer Architecture
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·8h·
Discuss: Lobsters, Hacker News
🚢DevOps
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·2d·
Discuss: Hacker News
🔌Network Programming
C and C++ dependencies, don't dream it, be it!
nibblestew.blogspot.com·19h·
Discuss: Hacker News, nibblestew.blogspot.com
🚢DevOps
I Write Games in C (yes, C)
jonathanwhiting.com·19h·
Discuss: Hacker News
🔌Network Programming
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·2d·
Discuss: Hacker News
✅Formal Verification
Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU
github.com·22h·
Discuss: Hacker News, r/LocalLLaMA
⚡Performance Engineering
A Quick Introduction to OxCaml
noelwelsh.com·4d·
Discuss: Hacker News
⚡Performance Engineering
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
✅Formal Verification
LFortran Compiles Lapack
lfortran.org·2d·
Discuss: Hacker News
🦀Rust
Sixteen Claude AI agents working together created a new C compiler
arstechnica.com·1d·
Discuss: r/programming, r/technews
📦WebAssembly

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help